1.
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Particles )Naclear physics(- Congresses,، Phenomonological theory )physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
H5
1994
2. Automotive model predictive control
پدیدآورنده : / edited by Luigi del Re ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
رده :
E-BOOK
3. Automotive model predictive control
پدیدآورنده : edited by Luigi del Re ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
4. Automotive model predictive control models, methods and applications
پدیدآورنده : edited by Luigi del Re ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic control, Congresses,، Control theory, Congresses,، Automotive model predictive control
رده :
TJ
212
.
2
.
A972
2010
5. Beyond the standard model, November 18-20, 1988 Iowa State University Ames, Iowa
پدیدآورنده : edited by Kerry Whisnant and Bing-Lin Young
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Particles )Nuclear physics(,Congresses ، Phenomenological theory )Physics(
رده :
QC
794
.
6
.
S75B46
1988
6. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
7. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
8. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده : J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
9. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Baldwin )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
10. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg", Mulheim an der Ruhr, Germany
پدیدآورنده : Lutz Strungmann ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Model theory
رده :
QA
174
.
G775
11. High energy phenomenology
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Particles )Nuclear physics(- Congresses,، Phenomenological theory )Physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
.
H5
1994
12. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
13. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
پدیدآورنده : Logic Colloquium )8891: Padova, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
رده :
QA
9
.
A1
.
L63
1988
14. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
15. Model theory and arithatic: Comptes Rendus d'une action Thematique, Programmee de C.N. R. S. sur la theorie des Modeles et arithmetique, Paris, France, 1979.80
پدیدآورنده : edited by C.Berline, K. McAloon, and J.-P. Ressayre
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory - Congresses,Congresses ، Mathematics
رده :
QA
3
.
L28
no
.
890
16. Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
834
17. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
834
18. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
19. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
20. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
